Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
91	Bed-Tree: An All-Purpose Index Structure for String Similarity Search Based on Edit Distance Zhenjie Zhang1 1 Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-08-10 12:02:00 Computing Formal languages Linguistics Mathematics Pattern matching Character encoding String Comparison of programming languages Hamming distance Edit distance N-gram Java Persistence Query Language
92	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar
93	Encoding Intonational Information in a Logical Grammar Chris Worth (Ohio State University) The discrepancy between syntactic structure and intonational structure is well known. This makes it particularly difficult to sim Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2011-10-17 16:59:48 Formal languages Logic Syntax Grammar Language Type theory Categorial grammar Formal grammar Linear logic
94	Microsoft Word - p-medicine_270089_D4.5_Ontology Aggregator Tool.docx Add to Reading List Source URL: p-medicine.eu Language: English - Date: 2014-02-03 03:31:46 Ontology Knowledge representation Information science Technical communication Semantic Web Information Computing Upper ontology Semantic interoperability Formal ontology OBO Foundry Frame language
95	Advances in Programming Languages APL5: ESC/Java2 — The Java Extended Static Checker David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-24 19:03:54 Computing Software engineering Software Java platform Cross-platform software Formal methods ESC/Java Concurrent programming languages Java Modeling Language Extended static checking Java Java version history
96	Supporting newly-appointed judges: a legal knowledge management case study Pompeu Casanovas, Marta Poblet, Nu´ria Casellas, Jesus Contreras, V. Richard Benjamins and Mercedes Blazquez Abstract Add to Reading List Source URL: lpis.csd.auth.gr Language: English - Date: 2008-08-20 05:47:36 Ontology Knowledge engineering Semantic Web Knowledge Information science Technical communication Computing Body of knowledge Web Ontology Language Upper ontology Formal ontology
97	Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-22 20:46:25 Models of computation Formal languages Theoretical computer science Pushdown automaton Automata theory Deterministic pushdown automaton Computability Language Deterministic context-free language Deterministic automaton Culture NPDA
98	An Applied Ontology for Semantics Associated with Surface Water Features Dalia E. Varanka E. Lynn Usery U.S. Geological Survey Add to Reading List Source URL: cegis.usgs.gov Language: English - Date: 2014-12-15 16:23:10 Ontology Semantic Web Computing Knowledge representation Information science Information Knowledge engineering Upper ontology Formal ontology Web Ontology Language Geographic information system National Hydrography Dataset
99	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
100	Enhancing Terminological Knowledge With Upper Level Ontologies Selja Seppälä and Amanda Hicks TIA 2015 Add to Reading List Source URL: seljaseppala.files.wordpress.com Language: English - Date: 2015-12-26 19:53:36 Ontology Knowledge representation Information science Semantic Web Information Computing Technical communication Formal ontology Descriptive Ontology for Linguistic and Cognitive Engineering WordNet Web Ontology Language Upper ontology

UPDATE